@article{ Meyer92,
  author    = {Bertrand Meyer},
  title     = {Applying "Design by Contract"},
  journal   = {IEEE Computer},
  volume    = {25},
  number    = {10},
  year      = {1992},
  pages     = {40-51},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/2.161279},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@book{MeyerN93,
  author    = {Bertrand Meyer and
               Jean-Marc Nerson},
  title     = {Object-Oriented Applications},
  publisher = {Prentice-Hall},
  year      = {1993},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@book{Meyer97,
  author    = {Bertrand Meyer},
  title     = {Object-Oriented Software Construction, 2nd Edition},
  publisher = {Prentice-Hall},
  year      = {1997},
  isbn      = {0-13-629155-4},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@phdthesis{Milanovic2006,
  author    = {Nikola Milanovic},
  title     = {Contract based Web service composition},
  year      = {2006},
  pages     = {1-257},
  ee        = {http://edoc.hu-berlin.de/dissertationen/milanovic-nikola-2006-06-13/PDF/milanovic.pdf},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{CastroMV11,
  author    = {Valeria de Castro and
               Esperanza Marcos and
               Juan M. Vara},
  title     = {Applying CIM-to-PIM model transformations for the service-oriented
               development of information systems},
  journal   = {Information {\&} Software Technology},
  volume    = {53},
  number    = {1},
  year      = {2011},
  pages     = {87-105},
  ee        = {http://dx.doi.org/10.1016/j.infsof.2010.09.002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}


%% Artigos NELSON ROSA

@article{RosaC04,
  author    = {Nelson Souto Rosa and
               Paulo Roberto Freire Cunha},
  title     = {An Approach for Reasoning and Refining Non-Functional Requirements},
  journal   = {J. Braz. Comp. Soc.},
  volume    = {10},
  number    = {1},
  year      = {2004},
  pages     = {59-81},
  ee        = {http://dx.doi.org/10.1590/S0104-65002004000200006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{LinsJR07,
  author    = {Fernando Ant{\^o}nio Aires Lins and
               Jos{\'e} Carlos dos Santos J{\'u}nior and
               Nelson Souto Rosa},
  title     = {Improving Transparent Adaptability in Web Service Composition},
  booktitle = {SOCA},
  year      = {2007},
  pages     = {80-87},
  ee        = {http://dx.doi.org/10.1109/SOCA.2007.26},
  crossref  = {DBLP:conf/soca/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{LinsJR072,
  author    = {Fernando Ant{\^o}nio Aires Lins and
               Jos{\'e} Carlos dos Santos J{\'u}nior and
               Nelson Souto Rosa},
  title     = {Adaptive web service composition},
  journal   = {ACM SIGSOFT Software Engineering Notes},
  volume    = {32},
  number    = {4},
  year      = {2007},
  ee        = {http://doi.acm.org/10.1145/1281421.1281428},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{SouzaSLDRMMSNLN09,
  author    = {Andre R. R. Souza and
               Bruno L. B. Silva and
               Fernando Ant{\^o}nio Aires Lins and
               Julio C. Damasceno and
               Nelson Souto Rosa and
               Paulo Romero Martins Maciel and
               Robson W. A. Medeiros and
               Bryan Stephenson and
               Hamid R. Motahari Nezhad and
               Jun Li and
               Caio Northfleet},
  title     = {Incorporating Security Requirements into Service Composition:
               From Modelling to Execution},
  booktitle = {ICSOC/ServiceWave},
  year      = {2009},
  pages     = {373-388},
  ee        = {http://dx.doi.org/10.1007/978-3-642-10383-4_27},
  crossref  = {DBLP:conf/icsoc/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{LinsMSSADMRSL11,
  author    = {Fernando Ant{\^o}nio Aires Lins and
               Robson W. A. Medeiros and
               Bruno L. B. Silva and
               Andre R. R. Souza and
               D. Arag{\~a}o and
               Julio C. Damasceno and
               Paulo Romero Martins Maciel and
               Nelson Souto Rosa and
               Bryan Stephenson and
               J. Li},
  title     = {SSC4Cloud Tooling: An Integrated Environment for the Development
               of Business Processes with Security Requirements in the
               Cloud},
  booktitle = {SERVICES},
  year      = {2011},
  pages     = {53-60},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/SERVICES.2011.72},
  crossref  = {DBLP:conf/services/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DamascenoLMSSAMRSL11,
  author    = {Julio C. Damasceno and
               Fernando Ant{\^o}nio Aires Lins and
               Robson W. A. Medeiros and
               Bruno L. B. Silva and
               Andre R. R. Souza and
               D. Arag{\~a}o and
               Paulo Romero Martins Maciel and
               Nelson Souto Rosa and
               Bryan Stephenson and
               J. Li},
  title     = {Modeling and Executing Business Processes with Annotated
               Security Requirements in the Cloud},
  booktitle = {ICWS},
  year      = {2011},
  pages     = {137-144},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2011.78},
  crossref  = {DBLP:conf/icws/2011},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{SouzaLGRL11,
  author    = {F{\'a}bio N. Souza and
               Danilo Lopes and
               Kiev Gama and
               Nelson Souto Rosa and
               Ricardo Lima},
  title     = {Dynamic Event-Based Monitoring in a SOA Environment},
  booktitle = {OTM Conferences (2)},
  year      = {2011},
  pages     = {498-506},
  ee        = {http://dx.doi.org/10.1007/978-3-642-25106-1_6},
  crossref  = {DBLP:conf/otm/2011-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

%% Artigos Consistencia de Modelos

@article{Varro04,
  author    = {D{\'a}niel Varr{\'o}},
  title     = {Automated formal verification of visual modeling languages
               by model checking},
  journal   = {Software and System Modeling},
  volume    = {3},
  number    = {2},
  year      = {2004},
  pages     = {85-113},
  ee        = {http://dx.doi.org/10.1007/s10270-003-0050-x},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@article{PaigeV12,
  author    = {Richard F. Paige and
               D{\'a}niel Varr{\'o}},
  title     = {Lessons learned from building model-driven development tools},
  journal   = {Software and System Modeling},
  volume    = {11},
  number    = {4},
  year      = {2012},
  pages     = {527-539},
  ee        = {http://dx.doi.org/10.1007/s10270-012-0257-9},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{LimingZhu2009,
 author = {Liming Zhu and Yan Liu},
 title = {Model Driven Development with non-functional aspects},
 booktitle = {Proceedings of the 2009 ICSE Workshop on Aspect-Oriented Requirements Engineering and Architecture Design},
 series = {EA '09},
 year = {2009},
 isbn = {978-1-4244-3719-1},
 pages = {49--54},
 numpages = {6},
 url = {http://dx.doi.org/10.1109/EA.2009.5071584},
 doi = {10.1109/EA.2009.5071584},
 acmid = {1629651},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
} 

@INPROCEEDINGS{Rottger04,
    author = {Simone Rottger and Steffen Zschaler},
    title = {Model-Driven Development for Non-functional Properties: Refinement through Model Transformation},
    booktitle = {In: Proc. <<UML>> Conf},
    year = {2004},
    pages = {275--289},
    publisher = {Springer}
}


%%% REQUISITOS NAO FUNCIONAIS

@incollection{Chung2009,
 author = {Lawrence Chung and Julio Cesar Prado Leite},
 chapter = {On Non-Functional Requirements in Software Engineering},
 title = {Conceptual Modeling: Foundations and Applications},
 editor = {Borgida, Alexander T. and Chaudhri, Vinay K. and Giorgini, Paolo and Yu, Eric S.},
 year = {2009},
 isbn = {978-3-642-02462-7},
 pages = {363--379},
 numpages = {17},
 url = {http://dx.doi.org/10.1007/978-3-642-02463-4_19},
 doi = {10.1007/978-3-642-02463-4_19},
 acmid = {1577356},
 publisher = {Springer-Verlag},
 address = {Berlin, Heidelberg},
 keywords = {NFRs, Non-functional requirements, alternatives, goal-oriented requirements engineering, requirements engineering, satisficing, selection criteria, softgoals},
} 

@Book{MylopoulosBook99,
  ALTauthor = 	 {Lawrence Chung and  Brian Nixon and  Eric Yu and John Mylopoulos},
  ALTeditor = 	 {Editor},
  title = 	 {Non-Functional Requirements in Software Engineering},
  publisher = 	 {Springer},
  year = 	 {1999},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTseries = 	 {},
  OPTaddress = 	 {},
  OPTedition = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@inproceedings{UszokBJ04,
  author    = {Andrzej Uszok and
               Jeffrey M. Bradshaw and
               Renia Jeffers},
  title     = {KAoS: A Policy and Domain Services Framework for Grid Computing
               and Semantic Web Services},
  booktitle = {iTrust},
  year      = {2004},
  pages     = {16-26},
  ee        = {http://dx.doi.org/10.1007/978-3-540-24747-0_2},
  crossref  = {DBLP:conf/itrust/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Yu97,
  author    = {Eric S. K. Yu},
  title     = {Towards Modeling and Reasoning Support for Early-Phase Requirements
               Engineering},
  booktitle = {RE},
  year      = {1997},
  pages     = {226-235},
  ee        = {http://computer.org/proceedings/re/7740/77400226abs.htm},
  crossref  = {DBLP:conf/re/1997},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{AmyotM02,
  author    = {Daniel Amyot and
               Gunter Mussbacher},
  title     = {URN: Towards a New Standard for the Visual Description of
               Requirements},
  booktitle = {SAM},
  year      = {2002},
  pages     = {21-37},
  ee        = {http://dx.doi.org/10.1007/3-540-36573-7_2},
  crossref  = {DBLP:conf/sam/2002},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{DAmbrogio06,
  author    = {Andrea D'Ambrogio},
  title     = {A Model-driven WSDL Extension for Describing the QoS of Web
               Services},
  booktitle = {ICWS},
  year      = {2006},
  pages     = {789-796},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2006.10},
  crossref  = {DBLP:conf/icws/2006},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
 
 @inproceedings{DEVISE,
 author = {Dhyanesh, N. and Vineel, G. C. and Raghavan, S. V.},
 title = {DEVISE: A Methodology for Building Web Services Based Infrastructure for Collaborative Enterprises},
 booktitle = {Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises},
 series = {WETICE '03},
 year = {2003},
 isbn = {0-7695-1963-6},
 pages = {12--},
 url = {http://dl.acm.org/citation.cfm?id=938984.939782},
 acmid = {939782},
 publisher = {IEEE Computer Society},
 address = {Washington, DC, USA},
} 

@inproceedings{NguyenHPCM09, 
  author    = {Dinh Khoa Nguyen and
               Willem-Jan van den Heuvel and
               Mike P. Papazoglou and
               Valeria de Castro and
               Esperanza Marcos},
  title     = {Gap Analysis Methodology for Business Service Engineering},
  booktitle = {CEC},
  year      = {2009},
  pages     = {215-220},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/CEC.2009.68},
  crossref  = {DBLP:conf/wecwis/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@TechReport{bpmn,
  author = 	 {OMG},
  title = 	 {Business Process Model and Notation (BPMN)},
  institution =  {OMG},
  year = 	 {2011},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  address = 	 {http://www.omg.org/spec/BPMN/2.0},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@TechReport{bpel,
  author = 	 {OMG},
  title = 	 {Business Process Model and Notation (BPMN)},
  institution =  {OMG},
  year = 	 {2011},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  address = 	 {http://www.omg.org/spec/BPMN/2.0},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@proceedings{scube2010book,
  editor    = {Mike P. Papazoglou and
               Klaus Pohl and
               Michael Parkin and
               Andreas Metzger},
  title     = {Service Research Challenges and Solutions for the Future
               Internet - S-Cube - Towards Engineering, Managing and Adapting
               Service-Based Systems},
  booktitle = {S-CUBE Book},
  publisher = {Springer},
  series    = {Lecture Notes in Computer Science},
  volume    = {6500},
  year      = {2010},
  isbn      = {978-3-642-17598-5},
  ee        = {http://dx.doi.org/10.1007/978-3-642-17599-2},
  bibsource = {DBLP, http://dblp.uni-trier.de}
  }
  
  @article{CostaMMN12,
  author    = {Umberto Souza da Costa and
               Anamaria Martins Moreira and
               Martin A. Musicante and
               Pl{\'a}cido A. Souza Neto},
  title     = {JCML: A specification language for the runtime verification
               of Java Card programs},
  journal   = {Sci. Comput. Program.},
  volume    = {77},
  number    = {4},
  year      = {2012},
  pages     = {533-550},
  ee        = {http://dx.doi.org/10.1016/j.scico.2010.03.003},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
  
@inproceedings{Meyer92b,
  author    = {Bertrand Meyer},
  title     = {Eiffel: Version 3 and beyond},
  booktitle = {Eiffel},
  year      = {1992},
  pages     = {5},
  crossref  = {DBLP:conf/eiffel/1992},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
  
@inproceedings{LeavensKP07,
  author    = {Gary T. Leavens and
               Joseph R. Kiniry and
               Erik Poll},
  title     = {A JML Tutorial: Modular Specification and Verification of
               Functional Behavior for Java},
  booktitle = {CAV},
  year      = {2007},
  pages     = {37},
  ee        = {http://dx.doi.org/10.1007/978-3-540-73368-3_6},
  crossref  = {DBLP:conf/cav/2007},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}  

@Article{Placido2010LTPD,
  author = 	 {Pl{\'a}cido A., Souza Neto and
  			  Martin Alejandro, Musicante and
  			  Genoveva, Vargas-Solar and
               Jos{\'e}-Luis, Zechinelli-Martini},
  title = 	 {Adding {C}ontracts to a {W}eb {S}ervice {C}omposition {L}anguage},
  journal = 	 {{LTPD} - 4th {W}orkshop on {L}anguages and {T}ools for {M}ultithreaded, {P}arallel and {D}istributed {P}rogramming},
  year = 	 {2010},
  OPTkey = 	 {},
  OPTvolume = 	 {},
  OPTnumber = 	 {},
  OPTpages = 	 {},
  month = 	 {September},
  OPTnote = 	 {},
  OPTannote = 	 {}
}

@manual{ws-bpel2,    
    citeulike-article-id = {3465627},
    citeulike-linkout-0 = {http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html},
    day = {11},
    editor = {{IBM} and Microsoft and {and others}},
    howpublished = {http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html},
    keywords = {bpel},
    month = apr,
    organization = {Organization for the Advancement of Structured Information Standards (OASIS)},
    posted-at = {2008-10-30 14:56:28},
    priority = {1},
    title = {Web Services Business Process Execution Language ({WS-BPEL}) Version 2.0},
    url = {http://docs.oasis-open.org/wsbpel/2.0/OS/wsbpel-v2.0-OS.html},
    year = {2007}
}

@inproceedings{Chung91,
  author    = {Lawrence Chung},
  title     = {Representation and Utilization of Non-Functional Requirements
               for Information System Design},
  booktitle = {CAiSE},
  year      = {1991},
  pages     = {5-30},
  ee        = {http://dx.doi.org/10.1007/3-540-54059-8_78},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{AchilleosKP11,
  author    = {Achilleas Achilleos and
               Georgia M. Kapitsaki and
               George A. Papadopoulos},
  title     = {A Model-Driven Framework for Developing Web Service Oriented
               Applications},
  booktitle = {ICWE Workshops},
  year      = {2011},
  pages     = {181-195},
  ee        = {http://dx.doi.org/10.1007/978-3-642-27997-3_20},
  crossref  = {DBLP:conf/icwe/2011w},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{KaterosKTV08,
  author    = {Dimitrios A. Kateros and
               Georgia M. Kapitsaki and
               Nikolaos D. Tselikas and
               Iakovos S. Venieris},
  title     = {A Methodology for Model-Driven Web Application Composition},
  booktitle = {IEEE SCC (2)},
  year      = {2008},
  pages     = {489-492},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/SCC.2008.58},
  crossref  = {DBLP:conf/IEEEscc/2008},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@TechReport{acceleo,
  author = 	 {Jonathan Musset and Etienne Juliot and St\'ephane Lacrampe},
  title = 	 {Acceleo R\'ef\'erence},
  institution =  {Obeo et Acceleo},
  year = 	 {2006},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {}, 
  OPTnote = 	 {},
  OPTannote = 	 {}
}

%%% Systematic Review

@article{AgarwalLS09,
  author    = {Sudhir Agarwal and
               Steffen Lamparter and
               Rudi Studer},
  title     = {Making Web services tradable: A policy-based approach for
               specifying preferences on Web service properties},
  journal   = {J. Web Sem.},
  volume    = {7},
  number    = {1},
  year      = {2009},
  pages     = {11-20},
  ee        = {http://dx.doi.org/10.1016/j.websem.2008.02.001},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@INPROCEEDINGS{Babamir2010,
author={Babamir, S.M. and Karimi, S. and Shishechi, M.R.},
booktitle={Computational Intelligence and Software Engineering (CiSE), 2010 International Conference on},
title={A Broker-Based Architecture for Quality-Driven Web Services Composition},
year={2010},
month={dec.},
volume={},
number={},
pages={1 -4},
keywords={Web services;broker based architecture;business process;dynamic service integration;dynamic service selection;quality of service;user preference;Web services;business data processing;quality of service;software architecture;},
doi={10.1109/CISE.2010.5676854},
ISSN={},}

@article{CeriDMF07,
  author    = {Stefano Ceri and
               Florian Daniel and
               Maristella Matera and
               Federico Michele Facca},
  title     = {Model-driven development of context-aware Web applications},
  journal   = {ACM Trans. Internet Techn.},
  volume    = {7},
  number    = {1},
  year      = {2007},
  ee        = {http://doi.acm.org/10.1145/1189740.1189742},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings {Espinosa-Oviedo2011a,
	publisher = {IEEE},
	month = {July},
	address = {Washington, DC, USA},
	year = {2011},
	booktitle = {{I}n {P}roc. of the 8th {I}nt. {C}onference on {S}ervices {C}omputing ({SCC}'11), {W}ork-in-{P}rogress {T}rack},
	title = {{P}olicy driven services coordination for building social networks based applications},
	author = {Javier-Alfonso, Espinosa-Oviedo  and Genoveva, Vargas-Solar and  Jos\'e-Luis, Zechinelli-Martini and Christine, Collet}
}

@inproceedings{PortillaHE08,
  author    = {Alberto Portilla and
               Tan Hanh and
               Javier-Alfonso Espinosa-Oviedo},
  title     = {Building reliable mobile services based applications},
  booktitle = {ICDE Workshops},
  year      = {2008},
  pages     = {121-128},
  ee        = {http://dx.doi.org/10.1109/ICDEW.2008.4498303},
  crossref  = {DBLP:conf/icde/2008w},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{Espinosa-OviedoVZC09,
  author    = {Javier-Alfonso Espinosa-Oviedo and
               Genoveva Vargas-Solar and
               Jos{\'e}-Luis Zechinelli-Martini and
               Christine Collet},
  title     = {Non-functional properties and services coordination using
               contracts},
  booktitle = {IDEAS},
  year      = {2009},
  pages     = {307-310},
  ee        = {http://doi.acm.org/10.1145/1620432.1620467},
  crossref  = {DBLP:conf/ideas/2009},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

 @inproceedings{BianculliGSBG07,
   author    = {Domenico Bianculli and
                Carlo Ghezzi and
                Paola Spoletini and
                Luciano Baresi and
                Sam Guinea},
   title     = {A Guided Tour through SAVVY-WS: A Methodology for Specifying
                and Validating Web Service Compositions},
   booktitle = {Lipari Summer School},
   year      = {2007},
   pages     = {131-160},
   ee        = {http://dx.doi.org/10.1007/978-3-540-89762-0_5},
   crossref  = {DBLP:conf/lipari/2007},
   bibsource = {DBLP, http://dblp.uni-trier.de}
 }
 
 @inproceedings{AdibaA81,
  author    = {Michel E. Adiba and
               Juan M. Andrade},
  title     = {Update Consistency and Parallelism in Distributed Databases},
  booktitle = {ICDCS},
  year      = {1981},
  pages     = {180-187},
  crossref  = {DBLP:conf/icdcs/1981},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}
 
 @inproceedings{MartinAD92,
  author    = {Herv{\'e} Martin and
               Michel E. Adiba and
               Bruno Defude},
  title     = {Consistency Checking in Object Oriented Databases: a Behavioral
               Approach},
  booktitle = {CIKM},
  year      = {1992},
  pages     = {53-68},
  ee        = {http://dx.doi.org/10.1007/3-540-57419-0_4},  
  crossref  = {DBLP:conf/cikm/1992},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@inproceedings{SalaunBS04,
  author    = {Gwen Sala{\"u}n and
               Lucas Bordeaux and
               Marco Schaerf},
  title     = {Describing and Reasoning on Web Services using Process Algebra},
  booktitle = {ICWS},
  year      = {2004},
  pages     = {43-},
  ee        = {http://doi.ieeecomputersociety.org/10.1109/ICWS.2004.46},
  crossref  = {DBLP:conf/icws/2004},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@TechReport{atl_manual,
  author = 	 {ATLAS Group},
  title = 	 {ATL: Atlas Transformation Language},
  institution =  {ATLAS Group, LINA \& INRIA},
  year = 	 {February, 2006},
  OPTkey = 	 {},
  OPTtype = 	 {},
  OPTnumber = 	 {},
  OPTaddress = 	 {},
  OPTmonth = 	 {},
  OPTnote = 	 {},
  OPTannote = 	 {}
}